13.4 Prove that if a scale

(a, s), then a = scale(a', }).