Supervisory Requirements and Reinsurance Recoverables: a Theoretical Analysis of Insurance Solvency Issues