diff --git a/Homeworks/HW1/PrzemyslawPietrzak/FairnessCriterionMutualExclusionProof.pdf b/Homeworks/HW1/PrzemyslawPietrzak/FairnessCriterionMutualExclusionProof.pdf new file mode 100644 index 0000000..e6f3744 Binary files /dev/null and b/Homeworks/HW1/PrzemyslawPietrzak/FairnessCriterionMutualExclusionProof.pdf differ