Uniqueness of Prime Models over Independent Bases