theorem :: XPRIMES2:3947

canceled;