take STC N ; :: thesis: STC N is IC-good
thus STC N is IC-good ; :: thesis: verum