theorem :: XPRIMES2:6782

canceled;