[math-fun] Salamin polarization puzzle. Impossibility proof.