theorem :: XPRIMES2:6478

canceled;