theorem :: XPRIMES2:6784

canceled;