“To prove this statement, I invoke Theorem 3.2 of our textbook in conjunction with Corollary 67.1, which together implies our result trivially.”