Yes, a gun must have valid proof marks from a CIP proof house, for example, French Darne or a spanish AYA is legal to sell in the UK if it has been proof tested in France or Spain, as both are partners in CIP.