theorem
1105
BogiPoints