proofless (proof + -less; without)
Without proof