theorem :: XPRIMES2:1926

canceled;