Det första eller det tredje antagandeteger