Only those who have won the Olympic gymnastics champion are qualified to coach the national gymnastics team
If Gao Pengyuan is the coach of the national gymnastics team, he must have won the Olympic gymnastics champion