Add Prime_retraction.