Text this: QED, a proof of renormalizability /