Is sin(pi%2F17) an algebraic number%3F