山上の正しさが証明されたのか