proof?

See preview comment