Единичная группа также является истинной подгруппой.