Logical theorem