Sin(10 degrees) is irrational