theorem :: XPRIMES2:4870

canceled;