LCM: Markov Principle.
(¬¬∃x.P(x)⇒∃x.P(x))

LCM: Weak Koenig's Lemma.
(∀x.∀y.(P(x)∨Q(y))⇒(∀x.P(x)∨∀y.Q(y)))