それとy'=dy/dxの証明はどうやるんですか?