theorem :: XPRIMES2:1955

canceled;