dix − 7 =