add new theoreme and remove some todo ref