p2

p1
QED