my own proof

.