roman "Theorem 1:"