dix − 3 =