Ampère's law: formula, definition, application