Proof theorem 6.3

Av Raj's image