User blog comment:DrCeasium/The value of Rado's sigma function for 5-state TMs/@comment-32697988-20171115174755

Can we see the proof?