semistable comparison theorem

#todo/untagged #todo/add-references #todo/create-links