hvilket .c:.c kan matematiskt bevisa *.