Yay, found source about Kraitchick.

Adding some new articles and sources I'm right now using.
Plus, slightly modifying dixon's chapter to match those.
Pseudocode: adding public key argument to questions.
Legendre's theorem as justification for the δ in wiener.

Now the demostration in section 5.2 shall be more fluid.
Note, have to check back at some point.
Hide my ass.

Disclaimer on the binary tree for CAs, that's not required to be like that.