This is a program that I wrote, that checks if a finite set with 2 operations defined with a table is a body.