Proof#: 5lex2a085
Proof#: 5lex2a085