Zeta_5_Irrational.Zeta5_Definitions