theorem :: NUMBER02:55

not (0 |^ 4) + ((0 + 1) |^ 4) is composite ;