જેથી તેના માટે કોઈ ફોર્મલ પ્રુફની જરુર પડતી નથી.