Following an earlier post in which certain commenters doubted the possibility of demonstrating it, I publish here a very simple work that...
