theorem :: XPRIMES2:7954

canceled;