#mathematical conjecture #theorem #unproven #proof #formal statement #problem #hypothesis