Bewijs formule voorwaarde loodrechte stand