[1] [DFN[[[483]]]] は、 [[482]] の次、[[484]] の前の[[整数]]です。