take STC N ; :: thesis: ( STC N is relocable & STC N is IC-recognized )
thus ( STC N is relocable & STC N is IC-recognized ) ; :: thesis: verum