take MinConstrSign ; :: thesis: ( MinConstrSign is constructor & MinConstrSign is strict )
thus ( MinConstrSign is constructor & MinConstrSign is strict ) ; :: thesis: verum