GO:0032979:   protein insertion into mitochondrial membrane from inner side
The process in which a protein is incorporated into the mitochondrial membrane from the inner side. This includes membrane insertion of newly synthesized mitochondrially-encoded proteins, and insertion of nuclear-encoded proteins after their import into the mitochondrial matrix.