A quantity cannot logically be both zero and nonzero simultaneously in the same derivation without v...
This proposition has not been edited since the history system was added.