theorem :: XPRIMES0:563

canceled;