User blog comment:P進大好きbot/Please Help me on study of Pair Sequence System (2-rowed Bashicu Matrix System)/@comment-30754445-20180813155654/@comment-32697988-20180817125229

Have you read my blog post?

https://googology.wikia.com/wiki/User_blog:Rpakr/A_Formal_Definition_of_Pair_Sequence_System_using_BM1_Rules

It is not a proof, but a formal definition of BM1 pair sequence.