Appendix F — Construction of the Real Numbers via Dedeking Cuts