尺公理及相关的合同命题

本文用尺公理推出几个与线段合同、角合同有关的命题。