-lemma fqus_strap2: â\88\80G1,G,G2,L1,L,L2,T1,T,T2. â¦\83G1, L1, T1â¦\84 â\8a\83⸮ â¦\83G, L, Tâ¦\84 â\86\92 â¦\83G, L, Tâ¦\84 â\8a\83* ⦃G2, L2, T2⦄ →
- â¦\83G1, L1, T1â¦\84 â\8a\83* ⦃G2, L2, T2⦄.
+lemma fqus_strap2: â\88\80G1,G,G2,L1,L,L2,T1,T,T2. â¦\83G1, L1, T1â¦\84 â\8a\90⸮ â¦\83G, L, Tâ¦\84 â\86\92 â¦\83G, L, Tâ¦\84 â\8a\90* ⦃G2, L2, T2⦄ →
+ â¦\83G1, L1, T1â¦\84 â\8a\90* ⦃G2, L2, T2⦄.