Rigorous justification of low-magnetic-Reynolds-number approximation for MHD duct flows | Synapse