theorem :: XPRIMES2:733

canceled;