S- ) z bcsvnnerlig denna sats spnes , s^i kan den mathematlce bewisaS,