史
Mathematical proof — OpenHistory