負の数どうしの掛け算で正の数になることは厳密に証明できますか?