theorem :: XPRIMES2:6729

canceled;