tredici − 7 =