Abstract
It has been prove