Ringschluss-Alkinmetathese, Beispiel