ここの和は、o"k" のゼロでないイデアルaの全てを渡るものとする。