>>439
前提が430の場合の話