已知是的内角，并且有，则______。