アンダーの差でポリンの方がラディスより小さくないとおかしいからな