Is it always the case that in any 25 GBP banknotes – that is £5, £10, £20, and £50 notes – there will always be 7 banknotes of the same denomination?