prove tgol.t