Bir matematikçi kosinüs teoremini vektörler yardımıyla ispatlamak isterse aşağıdaki vektör özelliklerinden hangisini kullanır?