proof by contradiction in proving the converse of Theorem 7