theorem :: XPRIMES2:2944

canceled;