@tishad: My proof