SHARYGIN 2023 Problem 24

A tetrahedron $ABCD$ is give. A line $\ell$ meets the planes $ABC,BCD,CDA,DAB$ at points $D_0,A_0,B_0,C_0$ respectively. Let $P$ be an arbitrary point not lying on $\ell$ and the planes of the faces, and $A_1,B_1,C_1,D_1$ be the second common points of lines $PA_0,PB_0,PC_0,PD_0$ with the spheres $PBCD,PCDA,PDAB,PABC$ respectively. Prove $P,A_1,B_1,C_1,D_1$ lie on a circle.