변수분리형 상미분방정식 풀이 설명중 y`dx를 dy로 치환한다 하셨습니다. 이때 예시로 y=t(x) (파이를 쓰셨는데 입력하기 어려워 t를 사용하겠습니다) => dy=t`(x)dx => dy=dy/dx * dx 라 하셨습니다. t`(x)=dy/dx인것은 t`(x)=d/dx * t(x)=dy/dx의 순서로 이해하고 있습니다(이부분이 맞는지도 한번 봐주세요!). 

그러나 이상하게 치환적분하면서 당연하게 써오던 부분에서 의문이 생깁니다(그냥 이유도 모르고 사용해오던거 같네요). y=t(x)에서 dy=t`(x)dx로 변환되는 과정을 수학적으로 자세하게 알려주실 수 있나요?