theorem :: XPRIMES2:933

canceled;