Осознание быстрой сортировки. Почему при while можно писать i < j, а при if так нельзя?

        /// <summary>
        /// Сортирует входную коллекцию по неубыванию с использованием указанного компаратора.
        /// </summary>
        /// <remarks>Быстрая сортировка.</remarks>
        /// <typeparam name="T">Тип элементов коллекции.</typeparam>
        /// <param name="source">Коллекция.</param>
        /// <param name="comparer">Компаратор.</param>
        public static void QuickSort<T>(this IList<T> source, IComparer<T> comparer)
        {
            void QuickSort(int low, int high)
            {
                int i = low;
                int j = high;
                T x = source[(low + high) / 2];
 
                while (i < j)
                {
                    while (comparer.Compare(source[i], x) < 0)
                        i++;
 
                    while (comparer.Compare(source[j], x) > 0)
                        j--;
 
                    if (i <= j)
                    {
                        (source[i], source[j]) = (source[j], source[i]);
                        ++i;
                        --j;
                    }
                }
 
                if (low < j)
                    QuickSort(low, j);
                if (i < high)
                    QuickSort(i, high);
            }
 
            QuickSort(0, source.Count - 1);
        }