make more precise
finish proof and theoretically, the paper