Title: Die Typentheorie und Die Molekularformeln