왜 시발 외적이랑 내적을 대수적으로 증명하고있냐