> Lecture outline done.
	> Proofs missing.
	> FFT/GCD yet to be typed.