\NewDocumentCommand \SubProof             {m} {\item\textbf{#1.}\ }
\NewDocumentCommand \ImplicationSubProof {mm} {\SubProof{Доказателство, че \cref{#1} влече \cref{#2}}}
\NewDocumentCommand \SufficiencySubProof   {} {\SubProof{Доказателство на достатъчност}}
\NewDocumentCommand \NecessitySubProof     {} {\SubProof{Доказателство на необходимост}}
