D.2. Định lí cosin và định lí sin