棱长都相等的三棱锥是正四面体吗