TeX source:
p + q < 2^m