De fit ; ma lämpeligen reduceras t , I fyra propositioner , nämligen: