english: (Laughter) Just as you cannot have a mathematical proof that isn't built from pure mathematics, you cannot have a theory of laughter that isn't funny.
non_english: (Сміх) Безглуздо виводити математичний доказ із нематематичних аксіом, як і давати визначення сміху, в якому немає нічого смішного.