theorem Th57:
  2|^4+(2+1)|^4 is non composite by Lm3,Lm4,NUMERAL2:35;
