theorem :: XPRIMES2:4971

canceled;