>>32
つまりは公理の算数じゃん