theorem :: XPRIMES2:1901

canceled;