theorem :: XPRIMES2:1751

canceled;