Its certainly not a mathematical proof, but looks more like an attempt for a logical theorem.