not (4 |^ 4) + ((4 + 1) |^ 4) is composite by Lm5, Lm6, Th15;