theorem :: XPRIMES0:541

canceled;