求翻译：the importance of the introduced new type, by which way the existence theorem is proved, these contents should be briefly introduced in the abstract是什么意思？