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