>>70で説明が抜けました

dy/dxはdを約分してy/xですね