Since this cognition does not deduce the content of its definitions and of the principles of division, it seems that it might also spare itself the proof of the relations expressed by the theorem and be satisfied here too just with perception.