Found a pattern for part of the proof, but repeat isn't working