En i astronomin mycket användlärosats