>>521
普通に2の剰余系じゃないの?