Lemma GodelDummett_canonical_no_branch {SC: NormalSequentCalculus L Gamma} {minAX: MinimunAxiomatization L Gamma} {ipGamma: IntuitionisticPropositionalLogic L Gamma} {gdpGamma: GodelDummettPropositionalLogic L Gamma} (AL_DC: at_least derivable_closed cP) (AL_OW: at_least orp_witnessed cP): NoBranchKripkeIntuitionisticModel (Kworlds M).