Frattini argument for Hall subgroups

In the paper, it is proved that if a finite group G possesses a π-Hall subgroup for a set π of primes, then every normal subgroup A of G possesses a π-Hall subgroup H   such that G=ANG(H)G=ANG(H).