Especificación sudoku

procedure sudoku (Puzle: in out T_Puzle; Ficha: in T_Ficha);
-- Pre: P es un sudoku correcto con un espacio MxM sin rellenar. F es una ficha MxM que rotada (o no) cumplirá las reglas del sudoku si se inserta en el espacio MxM.
-- Post: El resultado debe incluir el sudoku inicial con la Ficha insertada en el espacio MxM en la orientación correcta.