>>834
内部データに矛盾がなければいけるはず