4 ms·Adding the fact that: perfect(x) -> abundant(nx) | n>=2 gives a proof why.by jjaredsimpson 14y agoAdding the fact that: perfect(x) -> abundant(nx) | n>=2 gives a proof why.