Theorem3 (unfinished/droppedd)