030921 Finals030921 Proofs