theorem :: XPRIMES2:7695

canceled;