take STC N ; :: thesis: STC N is standard
thus STC N is standard ; :: thesis: verum