数学証明「すなわち、ゆえに」