theorem :: XPRIMES2:1913

canceled;