It proves simple things