The link to the proof is https://www.simonellismaths.com/blog/new-maths (the link in he article says "post" instead of "blog"). It's standard modulo arithmetic, but it's nice to see a rediscovery by a kid.