Mathematical proof - pikabu.monster