ocho − 7 =