theorem :: XPRIMES2:6963

canceled;