procedure Balinverz ( a: in Felcsoport; b: out Felcsoport; van: out Boolean ) is
begin
	for x in Felcsoport'FIRST..Felcsoport'LAST loop --RANGE csak Ada95-ben
		if x+a = Zerus then
			van := true; b := x;
			return;
		end if;
	end loop;	
	van := false;
end Balinverz;