This package concerns the whole packages, environment, lemmas and proof managment.