Procedimiento Dia de la Semana en lenguaje ADA (day_1)

Implemente un procedimiento llamado Day_1 con un parámetro de entrada de tipo Natural que muestre al usuario el mensaje: "LUNES", "MARTES", "MIÉRCOLES", "JUEVES", "VIERNES", "SÁBADO" o "DOMINGO", según el valor del parámetro sea: 1, 2, 3, 4, 5, 6, o 7. Si el valor del parámetro no está comprendido entre 1 y 7, el procedimiento mostrará el mensaje: "DESCONOCIDO".

with Text_IO; use Text_IO;
-- Procedimiento Day_1
procedure Day_1 (X : in Natural) is
begin
-- utilizamos un case para elegir las diferentes opciones
-- dependiendo del valor que se introduzca
case X is
when 1 =>
Put ("LUNES");
when 2 =>
Put ("MARTES");
when 3 =>
Put ("MIÉRCOLES");
when 4 =>
Put ("JUEVES");
when 5 =>
Put ("VIERNES");
when 6 =>
Put ("SÁBADO");
when 7 =>
Put ("DOMINGO");
when others =>
Put ("DESCONOCIDO");
end case;
-- Fin Procedimiento
end Day_1;