theorem :: XPRIMES2:1889

canceled;