Theorem order_separated

Modification history