黄小宁
h定理：点集A=B≌B的必要条件是A≌B。
证：若A=B则A必可恒等变换地变为B=A≌A，而恒等变换是保距变换。证毕。
直线Z：x-y=0（x的变域是x轴）可放大（拉伸）变换为直线L（不≌Z）：2x-2y=0（y=x）叠压在原直线Z上，据h定理L不等于Z。直线Z可沿本身伸缩变为无穷多各异直线：kx-ky=0，伸缩系数k是非1正常数。2300年直线公理使数学一直将无穷多各异直线误为同一线：直线y=x。
直线L的元点是（2x，2y=2x）。数学家们一直不知满足方程a：x-y=0的点（x，y=x）的全体Z与满足方程b：2x-2y=0的点（2x，2y=2x）的全体L是两根本不同的直线。
参考文献
[1]黄小宁。初等数学2300年之重大错误：将无穷多各异点集误为同一集——让中学生也能一下子认识3000年都无人能识的直线段[J]，考试周刊，2018（71）:58。