theorem :: XPRIMES2:6775

canceled;