2317syl(f17)

2317syl(f17)