GKp01
Z.T. (PROP)
<<>>