几何原本卷I命题48不就是后来的勾股定理的逆定理吗?

问题描述：

几何原本卷I命题48不就是后来的勾股定理的逆定理吗?
I卷48.如果在一个三角形中,一边上的正方形等於这个三角形另外两边上正方形的和.则夹在后两边之间的角是直角.
I卷47.在直角三角形中，直角所对的边上的正方形等於夹直角两边上正方形的和。
那是不是欧几里德的几何原本上最先提出了勾股定理呢？