Man kan få bevis för denna sats ,om