added proof from AGU