diff --git a/ITP/proof.png b/ITP/proof.png
new file mode 100644
index 0000000..f0b9757
Binary files /dev/null and b/ITP/proof.png differ