Bohr-Sommerfeld Quantization Rule