過元的產物至高立減元