theorem :: XPRIMES0:1667

canceled;