theorem :: XPRIMES0:1567

canceled;