[math-fun] Kobon Triangle progress