Man måste antaga ,att