theorem Th56: :: NUMBER02:56

not (1 |^ 4) + ((1 + 1) |^ 4) is composite by Lm3, PEPIN:60;