Five levels of problems that might appear in books about mathematics
Level1.Givenanexplicitobjectxandanexplicitpropertyp(x),provethatp(x)istrue.Level2.GivenanexplicitsetXandanexplicitpropertyp(x),provethatp(x)istrueforallxinX.Level3.GivenanexplicitsetXandanexplicitprop