theorem :: XPRIMES2:7769

canceled;