Implemented extra-case of CC-lemmata