c^- * a*c=b