finished the proof; oh god\!