(=> (Minus-3db-Bandwidth-Dc $X $Y) (Electronic-Device $X)) (=> (Minus-3db-Bandwidth-Dc $X $Y) (Constant-Quantity $Y))