2.1.2. Reference

Some lemmas refer to other lemmas. A lemma can point at most to one other lemma. The reference is one of the means of explaining the meaning of the source lemma. Such mechanism is systematically used with spelled-out numbers (jeden`1, oba`2) and with abbreviations for various units (kWh`kilowatthodina). Occasionally a reference can occur elsewhere as well.