theorem :: XPRIMES2:1961

canceled;