theorem Th58: :: NUMBER02:58

not (3 |^ 4) + ((3 + 1) |^ 4) is composite by Lm4, Lm5, Th14;