DEFINITION gz()
TYPE =
       G
BODY =
Show proof