theorem Th59:
  4|^4+(4+1)|^4 is non composite by Lm5,Lm6,Th15;
