theorem :: XPRIMES1:3973

canceled;