User blog comment:Alemagno12/Proof of termination of Pair Sequence System (BM2)/@comment-30754445-20180709025545/@comment-25601061-20180709033100

sorry, my native language is spanish and I still have a few minor problems with my English (for example, I sometimes write recieve instead of receive )