theorem :: XPRIMES2:1126

canceled;