theorem :: XPRIMES2:1268

canceled;