theorem :: XPRIMES2:6946

canceled;