theorem :: XPRIMES2:6360

canceled;