theorem Th57: :: NUMBER02:57

not (2 |^ 4) + ((2 + 1) |^ 4) is composite by Lm3, Lm4, NUMERAL2:35;