theorem :: XPRIMES0:7

canceled;