Lemma: Wmainaius

See Hwmainaius.

Wmainaius s. Hwmainaius