DOC:10.1090/mcom/3036
DOC:10.1090/S0002-9904-1973-13264-1