(Rigorous H83-01)