Theorem 47:


Screenshot 2020-07-22 at 23.09.51