<?xml version="1.0" encoding="UTF-8"?><oembed><type>video</type><version>1.0</version><html>&lt;iframe src=&quot;https://www.loom.com/embed/a94e0509049f4313b8054036104929b4&quot; frameborder=&quot;0&quot; width=&quot;1080&quot; height=&quot;810&quot; webkitallowfullscreen mozallowfullscreen allowfullscreen&gt;&lt;/iframe&gt;</html><height>810</height><width>1080</width><provider_name>Loom</provider_name><provider_url>https://www.loom.com</provider_url><thumbnail_height>810</thumbnail_height><thumbnail_width>1080</thumbnail_width><thumbnail_url>https://cdn.loom.com/sessions/thumbnails/a94e0509049f4313b8054036104929b4-72559b8b83167dbe.gif</thumbnail_url><duration>273.84</duration><title>Geometry - Formal Proof Theorem 13 - LCHL</title><description></description></oembed>