Erdős Problem 48

Reference: erdosproblems.com/48

theorem erdos_48 : {(n, m) : ℕ × ℕ | n.totient = (ArithmeticFunction.sigma 1) m}.Infinite ↔ True

Are there infinitely many integers $n, m$ such that $ϕ(n) = σ(m)$?