Mas o "bom senso" deveria bastar para repertoriar essas invariantes.