On formal properties of minimum capital requirements under Solvency II | Synapse