Tumbukti 1

https://hdbr.hypotheses.org/amm0003rs-3