frobenius triangle identities