theorem :: XPRIMES0:467

canceled;