俱舍論疏 28.44

28.44

論「若謂如有至亦遮有故」，破救義也。大眾部等救云：如有無漏律儀，無無漏大種。我宗無色界有身、語律儀，無別大種。破云：不爾。無漏雖無大種，依有漏大種故，汝宗不可說無色律儀依色界大種，界地別故。又我宗亦遮無色界有無漏律儀故。

The Śāstra says: "If you say that just as there is [...] because it is also denied that it exists." This refutes their rescue argument. The Mahāsāṃghika and others attempt to rescue their position, saying: Just as there is uncontaminated restraint without uncontaminated primary elements, our school holds that in the formless realm there is bodily and vocal restraint without distinct primary elements. The refutation says: Not so. Although uncontaminated [restraint] lacks [uncontaminated] primary elements, it relies on contaminated primary elements; in your school, it cannot be said that formless restraint relies on primary elements of the form realm, because their realms and levels are distinct. Furthermore, our school also denies that uncontaminated restraint exists in the formless realm.