regular languages – A formal proof of Arden’s Theorem

I have been searching internet for a correct proof of Arden’s Theorem and have searched some book also. Many proofs seem to be completely wrong, filled with fallacies and can’t trust what is written on the websites with no one to fact check it.

Does anyone have a correct proof of Arden’s Theorem or some resources which are credible?