theorem :: XPRIMES2:6305

canceled;