with text_io, Faktorialis; use text_io;
procedure FaktorialisProba is
begin
	Put_Line("6! = " & natural'image(Faktorialis(6)));
end FaktorialisProba;