5-512−712=5−(512+712)运用了(  )