[see also: redundant]
We now prove that the positivity assumption is in fact superfluous.
Go to List of words starting with: A B C D E F G H I J K L M N O P Q R S T U V W Y Z