oletamine tõestatud tõestatav