If a secured creditor realises his security, he may prove for the balance of his debt, after deducting the amount realised.

If a secured creditor voluntarily surrenders his security for the general benefit of creditors, he may prove for his whole debt, as if it were unsecured.