Proving characteristicity