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