証明は兎も角、符号が反対になるものなのですか?全ての場合にですか