6464; V73 math derivation & lemma;

File download