teoremigif