TeX source:
4a^3 + 27b^2 \ne 0