Finished the proof spliting with an example.