3 ms·Quick scan: it seems that this result is a real extension of that result.by jl2718 6y agoQuick scan: it seems that this result is a real extension of that result.