Grandfather's Math - swallowing results

Grandson's Math - digesting proofs.