supplementary material from Ribosome flow model with extended objects

Proofs and further explanations about RFMEO as a mean-field approximation of TASEPEO