ハフナーやリンツが単純なら第25番も単純ってことになってしまうんでないかい?