theorem :: XPRIMES2:3973

canceled;