Proof of ''The first date for which an event happens is a stopping time.''

Suppose is a stochastic process on a filtered probability space , and let be any Borel set.

Then, I want to show that the first date for which is a stopping time.

The attached pdf file is my proof. Is it complete?