Vacek Proofs-1

Vacek Proofs-1