diff --git a/hw-theory.tex b/hw-theory.tex
index 3e71898..4f8bfee 100644
--- a/hw-theory.tex
+++ b/hw-theory.tex
@@ -316,8 +316,8 @@ \section*{Домашнее задание №9: <<Idris, введение>>}
 строящую новый вектор, в котором два элемента вектора поменяны местами.
 
 \item Определите функции арифметики для Fin:\\
-(а) \verb!plus_fin: Fin a -> Fib b -> Fin (a+b)!\\
-(б) \verb!mul_fin: Fin a -> Fin b -> Fin (a*b)!\\
+(а) \verb!plus_fin: Fin (S a) -> Fib (S b) -> Fin (S (a+b))!\\
+(б) \verb!mul_fin: Fin (S a) -> Fin (S b) -> Fin (S (a*b))!\\
 (в) \verb!dec_fin: Fin (S a) -> Fin a!
 
 \item Определите функции минимума для натуральных (Пеано) и конечных чисел:\\