Por definición de arcotangente: