theorem :: XPRIMES2:5695

canceled;