Důkaz existence fundamentální třídy pomocí Mayerovy-Vietorisovy posloupnosti, dualita a cap součin, modifikovaná Poincarého dualita v řeči cup součinu.