外積の公式ってなんだよ