File:PettetProperColoring.svg