this test is much more complex than the direct argument through reduction module p