theorem :: XPRIMES0:101

canceled;