Dwa pierwsze zdania są fałszywe, co można zauważyć na przykładach z zadania pierwszego. Stwierdzenie „Po zakończeniu działania algorytmu 1 komórka A[1] zawiera najmniejszą z liczb A[1],…, A[2^k]” zachodzi dla przykładów z zadania 1, a jego prawdziwość dla każdych danych wejściowych uzasadniliśmy, omawiając powyżej działanie algorytmu 1.