theorem :: XPRIMES2:7364

canceled;