Remix.run Logo
▲ Retric 2 hours ago

No, prove something else could mean proving something very trivial thus making the proof meaningless on its own.

IE a proof can be true, rigorous, and not at all what was asked for.