משפט 1: זה אומר לנו שהקבוצות הקוהומולוגיות האיזומורפיות של נוסחה 4 הן כולן דרהמים. משפט 2: זה אומר לנו שהקבוצות הקומולוגיות של דה-ראם נוסחה _ 4 הן כולן איזומורפיות. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
לא, לא.