88 = (2 |^ 3) * (11 |^ 1) by Lm4;
hence not 89 satisfies_Sierpinski_problem_105 by XPRIMES1:2, XPRIMES1:11; :: thesis: verum