generic
	type Felcsoport is (<>);
	Zerus: in Felcsoport;
	with function "+" ( a, b: Felcsoport ) return Felcsoport is <>;

procedure Balinverz ( a: in Felcsoport; b: out Felcsoport; van: out Boolean );