Showmes not found
subtraction property of equality