Statistics of On the number of abelian bordered words (with an example of automatic theorem-proving)