How was it proven?

[deleted]