proof of non-nucleus being tensor closed