Similarly, there exists up to equivalence a unique S(5,6,12) Steiner system W12, and the group M12 is its automorphism group.
Подобным образом, существует с точностью до эквивалентности единственная S(5,6,12) система Штейнера W12, а группа M12 является её группой автоморфизмов.