theorem :: XPRIMES0:367

canceled;