theorem :: XPRIMES2:2913

canceled;