Added figures for automatic proven theorems.
Missing change.