1. Express the property that Sort-Array(A) must satisfy to be correct. Use the three steps for loop invariants:
   1. Initialization
   2. Maintenance
   3. Termination

static void Sort(int array[]) { int size = array.length; for (int i = 0; i < size - 1; i++) for (int j = i + 1; j < size; j++) if (array[j] > array[i]) { // swapping elements. int buffer = array[j]; array[j] = array[i]; array[i] = buffer; }