theorem
  0|^4+(0+1)|^4 is non composite;
