Automatisches Beweisen
- Autor:
- Andreas Lindner
Aufgabe
Überprüfe mit dem Werkzeug 
Beziehung, ob die Seiten a und b zueinander normal sind.
Beziehung, ob die Seiten a und b zueinander normal sind. Beziehung, ob die Seiten a und b zueinander normal sind.