1742年に提起されたこの予想は現在も証明されていない。