readily_factorable ================== .. currentmodule:: proveit.numbers .. autofunction:: readily_factorable