Theorem or axiom? - pikabu.monster