Description: 9 + 10 equals 21. This astonishing thesis lives as a meme on the
internet, and may be believed by quite some people. At least repeated
requests to falsify it are a permanent part of the story. Prof. Loof
Lirpa did not rest until he finally came up with a computer verifiable
mathematical proof, that only a fool can think so. (Contributed by Prof. Loof Lirpa, 26-Aug-2023)(Proof modification is discouraged.)(New usage is discouraged.)