Anime fans stumbled upon a mathematical proof