Prandtl–Batchelor Theorem - Ontify