上 = 下 が証明できません。