Исправление q0tw4, (текущая версия) :
x = 1 a = 1 b = x if a == x and b == x: print('a = b\n a = x, b = x') elif a != x or b != x: ...
Извращенцы. Достаточно
def theorem(a, b, x):
if a == x and b == x:
assert a == b
print('a = b')
Исходная версия q0tw4, :
x = 1
a = 1
b = x
if a == x and b == x:
print('a = b\n a = x, b = x')
elif a != x or b != x:
...
Извращенцы. Достаточно
def theorem(a, b, x):
if a == x and b == x:
assert a == b
print('a = b')