Een formule voor het vinden van ondergrondse oceanen op verre manen