(=> (Ac-Coupled-Bandwidth $X $Y) (Electronic-Device $X)) (=> (Ac-Coupled-Bandwidth $X $Y) (Constant-Quantity $Y))