theorem :: XPRIMES2:1965

canceled;