GA proof