theorem :: XPRIMES2:1678

canceled;