A simple proof of the fundamental theorem about Arveson systems