Proofs from the Book (PS) [20ss-12.00037]

https://online.rwth-aachen.de/RWTHonline/ee/ui/ca2/app/desktop/#/slc.tm.cp/student/courses/410122