take CatSign A ; :: thesis: ( CatSign A is delta-concrete & CatSign A is strict )
thus ( CatSign A is delta-concrete & CatSign A is strict ) ; :: thesis: verum