Source: http://www.titoktan.hu/_raktar/Bolyai/Appendix-HalstedBruce.pdf