I denus förmodan cch underförutsättning