_ Z a * ^ r * ex = : c 0 ^ s : P ' r.