Petey Patterns: a Proof by Exhaustion on All Possible Routes