What is this?

This is the proof