main result

main result