“x=3”是“x²=9”的( )。