theorem spark