ju från den hypothesen att den ifrågavarande satsen vore sann?