Theorem isBot_one

Modification history