theorem :: XPRIMES0:557

canceled;