The existence of finitely based lower covers for finitely based equational theories