A direct proof of the additional element theorem | IEEE Journals & Magazine | IEEE Xplore