結果で証明する – nothing here