theorem :: XPRIMES2:5972

canceled;