置換積分で疑問

なんで形式的に約分できるのですか？

置換積分の公式∫f(gt)gt'dx=∫f(gt)dt で つまり(dt/dx)dxになったらdtと置ける⇔形式的に約分できる
ということでいいですか？