New on CTAN: create-theorem