Bu durumda, Ek A'daki Kanıt A-5'te gösterilenden daha hızlı bir yürütme mümkündür.
Ek A'daki Kanıt A-5 mümkün olan en hızlı yürütme olmayabilir.
Ek A'daki Kanıt A-5'te gösterilenden daha hızlı olası bir yürütme yoktur.