>>932
つまり証明されないうちはないものとして扱われる
>>561