Young–Levenglick Theorem (COMSOC)

Definition