Whether a light is on or off is contingent. This is more like proving the light would always be on as a fundamental fact of basic physics. Even if it were done by showing that the existence of a computer connected to the light, proving that from first physical principles would be a big achievement.