theorem :: XPRIMES2:1956

canceled;