Some Notes on Permutations

This note states and proves a theorem on permutations that solves a problem that turned up during the verification of a Java program implementing the dual pivot quicksort algorithm.