Build on the work started in 8f07629, and add the multiply case. In the process, more clearly describe the requirement for the operation we're looking through.

Reviewers, please confirm my reasoning is correct. I always get confused by modulo arithmetic.