theorem :: XPRIMES2:6934

canceled;