/  
Und ist dies nicht auch die Art der Allgemeinheit der Tautologien der Logik die für p q r etc bewiesen demonstriert werden?