My theorem is "E≠mc²+1"