veta , är det sällsynt , att en k. proposition isin