Bevis för formeln för höjden aftvärskeppsoch