unary cofactor triangle