これが証明すべきことであった.