>>605
外積の大きさが同じ定義ではある。