ボックス圏は破られていない [1 entry]