DEFINITION papp()
TYPE =
       PList→PList→PList
BODY =
Show proof