En lös förmodan har jemwäluttalats