däri göra troligt , hvad redan Porthan sagt , att dei