theorem :: XPRIMES2:1963

canceled;