Thanks for the proof