theorem :: XPRIMES2:6769

canceled;