more clarity in `division by 3' example