theorem :: XPRIMES2:6741

canceled;