https://9dok.net/document/yng75o2p-frettl-formal-logic-exercise-exercise-following-compare-theorem.html