Matematiskt bevis för sanningen.