Austin Steinbart #17 Proofs Part 1