Added reference to Youn and Long paper
Numeration of theorems is changed
All constants has the same format