Kostrikin's theorem on restricted Burnside problem

Statement
Let $$p$$ be a prime number and $$n$$ any natural number. Then, the restricted Burnside group $$RB(n,p)$$ is a finite group. In other words, the answer to the restricted Burnside problem is yes for all prime numbers.

Facts used

 * 1) uses::Exponent p implies associated Lie ring is (p-1)-Engel Lie algebra over field of p elements
 * 2) uses::Minimum size of generating set of associated Lie ring equals minimum size of generating set of quotient of group by nilpotent residual
 * 3) uses::Kostrikin's theorem on Engel Lie rings
 * 4) uses::Reduction of restricted Burnside problem to associated Lie ring

Proof
Given: A prime number $$p$$, a natural number $$n$$

To prove: The restricted Burnside group $$RB(n,p)$$ is a finite group

Proof: Denote by $$B(n,p)$$ the Burnside group and by $$L(B(n,p))$$ the associated Lie ring to the Burnside group.