Einrückung gefixt, Kontrapositionsgesetz hinzugefügt
added content, centered tables, etc.
added content
added proof
added content