x! dx = y dy