theorem :: XPRIMES2:1883

canceled;