theorem :: XPRIMES2:1071

canceled;