/  
Und wie läßt sich dies auf die Beweise der R.'schen Tautologien anwenden?