diff --git a/F#/Skk/Skk.tex b/F#/Skk/Skk.tex
new file mode 100644
index 0000000..b0d113f
--- /dev/null
+++ b/F#/Skk/Skk.tex
@@ -0,0 +1,11 @@
+\documentclass{article}
+\usepackage[russian]{babel}
+
+
+\title{SKK}
+
+\begin{document}
+\maketitle
+
+$S K K = (\lambda x\ y\ z.x\ z\ (y\ z))\ K\ K =_\beta \lambda z.K\ z\ (K\ z) = \lambda z.(\lambda x\ y.x)\ z\ (K\ z) =_\beta \lambda z.z = I$
+\end{document}