Lemma: Ailul

Conjecture.

See [Alul*].

[Ailul] <none> [s. [Alul]]