metacorollary

(логика) метаследствие