Proof#: lex4b0030
Proof#: lex4b0030