Herleitung 3. bin Formel