EntityQ184899· pop 33proof by contradictionSign in to saveform of proofConnectionsreductio ad absurdumEntity