theorem :: XPRIMES2:756

canceled;