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