visade , att dennaförmodan