Theorem 38:

38