IGA proof

IGA proof