===> Cleaning for tex-ntheorem-1.31