Ett bevis för ins:s sats.