proof1

proof3