theorem :: XPRIMES2:7365

canceled;