" Er förmodan ,är