theorem :: XPRIMES2:1733

canceled;