theorem :: XPRIMES0:1543

canceled;