theorem :: XPRIMES2:1924

canceled;