Sample Output
"For the integer b and the integer a, the following statement is true: if the multiplication of a and b equals 0 then a equals 0 or b equals 0. Consider that a is integer, b is integer and the multiplication of a and b equals 0. There are 2 possible cases. The case b equals 0 is trivial. Assume b is not 0. By simplification, we must show a equals 0 or b equals 0. We must show a equals 0, applying the mul_cancel_in_eq lemma. The result follows trivially.”