Theorem 4 in the paper for k from 1 to, 4, and n from k to, 20

                                    is true

                                ----------------



                         This took, 1499.502, seconds,