Tijdeman's theorem