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