theorem :: XPRIMES2:1756

canceled;