theorem :: XPRIMES2:4872

canceled;