Proof#: lex4b0043
Proof#: lex4b0043