Template:GAP verify function value

(G); using GAP:.