搬送時間ありＧ／Ｇ／ｍのサイクルタイム定理が求まらない

ファブ内物流の論理を求めて

「搬送時間とロードポートを考慮したモデルに特有の振る舞い」に書いたように、搬送時間ありＧ／Ｇ／１のサイクルタイム定理をＧ／Ｇ／ｍの場合に拡張することを試みているのですが、どうもうまくいきません。以前搬送時間ありＧ／Ｇ／１のサイクルタイム定理を証明した時の流れをなぞっていって、どこでつまずいたか、お話します。