"nggnpuzrag">proof template