ફરીથી આ પ્રમેય સાબિત જરૂરી નથી.