WOLFRAM
|
DEMONSTRATIONS PROJECT
B
h
a
r
g
a
v
a
'
s
T
h
e
o
r
e
m
k
0
1
2
n
0
1
4
a
+
4
(
-
a
-
b
)
+
4
b
=
2
2
(
a
(
-
a
-
b
)
+
b
(
-
a
-
b
)
+
a
b
)
C
h
a
n
g
e
t
h
e
c
o
n
t
r
o
l
s
t
o
v
i
e
w
B
h
a
r
g
a
v
a
'
s
t
h
e
o
r
e
m
(
a
n
a
l
g
e
b
r
a
i
c
i
d
e
n
t
i
t
y
)
o
f
o
r
d
e
r
(
k
,
n
)
.