theorem :: XPRIMES2:6855

canceled;