Transitive Property Math Logic All Are Mortal