About isabelle results of 56

Relevance