Theorem Marketplace

Theorem Details

theorem googol_add_267_prime : ∀ a b, 1 < a → 1 < b → a * b ≠ (10 ^ 100 + 267):=
  sorry

Bounty: 0.0003 ETH

Status: Open

Submit Your Proof

Back to Bounties