bevisat , att det både är logisktoch