theorem :: XPRIMES2:3972

canceled;