Japanese theorem