Rename thmmis407 to thmmis407.md