theorem :: XPRIMES0:547

canceled;