Let . The proposed coframe gives
which expands to the stated metric. Hence it is the orthonormal coframe in Painlevé–Gullstrand coordinates with signature .