Proof#: 7lex1002
Proof#: 7lex1002