Poczwórne źródło twierdzenia o podstawie dostatecznej