Finishing of Commpersmith theorem description