Aopspandy is an AoPS user that likes doing math and creates bogus proofs.
Something appears to not have loaded correctly.
Click to refresh.