theorem :: XPRIMES2:2933

canceled;