大小双対原理や反符号双対性は数学の試験で事実として用いても
かまわないのでしょうか。ちなみに証明を教えてください。