Theorem 21:

21 Screenshot 2020-07-12 at 10.57.10