Update rigorously.tex
Merge pull request #51 from dfirsov/patch-1

Update rigorously.tex