I för osi bewisat ,det