There are actually three definitions here Tom... It's kind of a cluster****, which is why I hope that someone who is any good at number theory will look over the proof and let me know what's what.