Proof Of Properties
Proof of properties
graph TD;
A[Proof of Properties] --> B[Property 1];
A --> C[Property 2];
A --> D[Property 3];
B --> E[Proof of Property 1];
C --> F[Proof of Property 2];
D --> G[Proof of Property 3];
