DPRM_Theorem.Alpha_Sequence