[loose]

Also löst die Insertion die 3 Edges in nur 6 Zügen? (5 mit R cancellation)

Korrekt, das ist die einfachste Form eines Kanten-3Cycles.
Merk dir einfach die 3 Teile, die ohne die Insertion am Schluss übrig bleiben (oder markier sie mit Klebezetteln) und beobachte sie während der Lösung.
In dem konkreten Fall hier liegen die Kanten direkt nach dem ersten Zug so, dass man sie mit einem Kommutator der Form M' U2 M U2 lösen kann (R2 D U' B2 D' U ist ja vom Prinzip genau das Gleiche).
Die Idee dahinter ist also, sich eine Stelle innerhalb der Lösung zu suchen, an der sich die verbleibenden Teile möglichst einfach lösen lassen, und man im Idealfall noch einen oder mehrere Moves canceln kann.