If π' has a well-defined decimal expansion and satisfies the algebraic definition of irrationality, ...