simple test for correctness (hilbert example)