ok, http://icx.ro/proof.txt for proof