(=> (Single-Shot-Bandwidth $X $Y) (Electronic-Device $X)) (=> (Single-Shot-Bandwidth $X $Y) (Constant-Quantity $Y))