ゼラーの定理は$PUMPに対して無効であり、母トークンにとってはトークンが多いほど良いです。Altsznは、定理がtekaltsに対して無効となる時刻として定義されるべきです