定理と命題の違いって何ですか?