Alla påvisade , som en nödvändigförutsättning