If Gao Pengyuan is the coach of the national gymnastics team, then he must have won the Olympic gymnastics championship. The above argument can be made on the following premise, except for? ['Only if you have won the Olympic Gymnastics Championship are you eligible to be a coach of the National Gymnastics Team.', 'If you have not won an Olympic gymnastics championship, you are not eligible to be a national gymnastics team coach.', 'If you are eligible to coach the National Gymnastics Team, you must have won the Olympic Gymnastics Championship.', 'If you have won an Olympic gymnastics title, you are eligible to be a national gymnastics team coach.']