Dziewięciokrotnik częstotliwości