>>121
正しいと証明できないのに?