theorem :: XPRIMES2:663

canceled;