theorem Th92: :: NUMBER19:92

22 = card ((seq (0,30)) /\ (((multiples 2) \/ (multiples 3)) \/ (multiples 5)))