treize − 3 =