theorem :: XPRIMES2:1960

canceled;