theorem :: XPRIMES2:6777

canceled;