Asa theorem