Theorem 48:

48 48