RT三角形三边为整数,且三边互质,则一边必为质数