theorem :: XPRIMES2:4972

canceled;