Category:Transitivity of Integrality