theorem :: XPRIMES0:401

canceled;