Theorem 1: