theorem :: XPRIMES2:1925

canceled;