Sommerfeld-Wilson quantization condition