Ring-expansion by a wittig-prévost sequence