corollary: (logic) an inference that follows directly from the proof of another proposition
entity: that which is perceived or known or inferred to have its own distinct existence (living or nonliving)
countermine: (military) a tunnel dug to defeat similar activities by the enemy