[Lava 005] number mathematics nine