BUG Type 2
Use solution uniqueness and shared extra candidates in an otherwise bivalue grid to derive outside eliminations.
All candidates have been entered in the empty cells.
Assume that the puzzle has a unique solution. If every extra candidate in A were false, every unsolved cell would have two candidates and two solutions would remain. Therefore, at least one extra candidate in A is true. Candidates 6 marked × can be removed.