theorem :: XPRIMES2:2749

canceled;