ESC

Q. E. D.