Draft of proof of AGP(G*H)