TODO note about power tests in factoring