Is sin(pi/17) an algebraic number?