theorem :: XPRIMES2:6774

canceled;