The €25m sale of Vitor Roque to Palmeiras was key to enabling Martinez's salary for next season to be registered.