proof 6

proof 7

proof 8

proof 9

proof 10

proof 11