H∆G & N∆G then H intersection N is normal to H