diff --git a/Sectraining/proof b/Sectraining/proof.md similarity index 100% rename from Sectraining/proof rename to Sectraining/proof.md