x * ax — a.