"y.sup.a1 is a group represented by the formula: 25" . . . .