証明って結局前提と結論をイコールで結べばいいって事であってる?