Connecting Research to Teaching: Count on Number Theory to Inspire Proof