Proof#: 5lex1048
Proof#: 5lex1048